ePMC - wlan cost

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property cost_min
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 4836 4836
build-model-states-explored 11797 6961
build-model-states-explored 18626 6829
build-model-states-explored 26070 7444
build-model-states-explored 33464 7394
build-model-states-explored 40053 6589
build-model-states-explored 47224 7171
build-model-states-explored 54244 7020
build-model-states-explored 61131 6887
build-model-states-explored 68649 7518
build-model-states-explored 76171 7522
build-model-states-explored 83532 7361
build-model-states-explored 92422 8890
build-model-states-explored 101090 8668
build-model-states-explored 109732 8642
build-model-states-explored 118388 8656
build-model-states-explored 126263 7875
build-model-states-explored 133480 7217
build-model-states-explored 141964 8484
build-model-states-explored 150431 8467
build-model-states-explored 158930 8499
build-model-states-explored 167429 8499
build-model-states-explored 175919 8490
build-model-states-explored 184420 8501
build-model-states-explored 192809 8389
build-model-states-explored 201301 8492
build-model-states-explored 208752 7451
build-model-states-explored 216915 8163
build-model-states-explored 225865 8950
build-model-states-explored 234813 8948
build-model-states-explored 243750 8937
build-model-states-explored 252702 8952
build-model-states-explored 261666 8964
build-model-states-explored 270628 8962
build-model-states-explored 279578 8950
build-model-states-explored 288518 8940
build-model-states-explored 297477 8959
build-model-states-explored 306434 8957
build-model-states-explored 315391 8957
build-model-states-explored 324340 8948
build-model-states-explored 333280 8941
build-model-states-explored 342231 8951
build-model-states-explored 351233 9002
build-model-states-explored 360237 9004
build-model-states-explored 369218 8981
build-model-states-explored 378196 8978
build-model-states-explored 387201 9005
build-model-states-explored 396077 8876
build-model-states-explored 405098 9021
build-model-states-explored 412119 7021
build-model-states-explored 420871 8751
build-model-states-explored 429730 8860
build-model-states-explored 436832 7102
build-model-states-explored 443910 7078
build-model-states-explored 451193 7283
build-model-states-explored 458469 7276
build-model-states-explored 465629 7160
build-model-states-explored 472846 7217
build-model-states-explored 481354 8508
build-model-states-explored 489676 8322
build-model-states-explored 498131 8455
build-model-states-explored 506623 8492
build-model-states-explored 515129 8506
build-model-states-explored 523608 8479
build-model-states-explored 532079 8471
build-model-states-explored 540563 8484
build-model-states-explored 549056 8493
build-model-states-explored 557540 8484
build-model-states-explored 566026 8486
build-model-states-explored 574510 8484
build-model-states-explored 583000 8490
build-model-states-explored 591512 8512
build-model-states-explored 599966 8454
build-model-states-explored 608465 8499
build-model-states-explored 616862 8397
build-model-states-explored 625283 8421
build-model-states-explored 633845 8562
build-model-states-explored 642409 8564
build-model-states-explored 650987 8578
build-model-states-explored 659538 8551
build-model-states-explored 668138 8600
build-model-states-explored 676736 8598
build-model-states-explored 685320 8584
build-model-states-explored 693907 8587
build-model-states-explored 702493 8586
build-model-states-explored 711039 8546
build-model-states-explored 719597 8558
build-model-states-explored 727752 8155
build-model-states-explored 736352 8600
build-model-states-explored 744907 8555
build-model-states-explored 752892 7985
build-model-states-explored 759983 7091
build-model-states-explored 766989 7006
build-model-states-explored 775929 8939
build-model-states-explored 784796 8868
build-model-states-explored 793770 8974
build-model-states-explored 802676 8906
build-model-states-explored 811627 8951
build-model-states-explored 820578 8951
build-model-states-explored 829529 8951
build-model-states-explored 838479 8950
build-model-states-explored 847452 8973
build-model-states-explored 853234 5782
build-model-states-explored 862187 8953
build-model-states-explored 871163 8976
build-model-states-explored 880145 8982
build-model-states-explored 889109 8964
build-model-states-explored 898048 8939
build-model-states-explored 906989 8941
build-model-states-explored 915927 8938
build-model-states-explored 924857 8930
build-model-states-explored 933791 8934
build-model-states-explored 942744 8953
build-model-states-explored 951669 8925
build-model-states-explored 960422 8753
build-model-states-explored 969239 8817
build-model-states-explored 978262 9023
build-model-states-explored 987299 9037
build-model-states-explored 996195 8896
build-model-states-explored 1004831 8636
build-model-states-explored 1013849 9018
build-model-states-explored 1022871 9022
build-model-states-explored 1031908 9037
build-model-states-explored 1040955 9047
build-model-states-explored 1049918 8963
build-model-states-explored 1058945 9027
build-model-states-explored 1067955 9010
build-model-states-explored 1076964 9009
build-model-states-explored 1085989 9025
build-model-states-explored 1095006 9017
build-model-states-explored 1104020 9014
build-model-states-explored 1113039 9019
build-model-states-explored 1122068 9029
build-model-states-explored 1131090 9022
build-model-states-explored 1140104 9014
build-model-states-explored 1149123 9019
build-model-states-explored 1158136 9013
build-model-states-explored 1167140 9004
build-model-states-explored 1176115 8975
build-model-states-explored 1184954 8839
build-model-states-explored 1193797 8843
build-model-states-explored 1202490 8693
build-model-states-explored 1211247 8757
build-model-states-explored 1220016 8769
build-model-states-explored 1228753 8737
build-model-states-explored 1237503 8750
build-model-states-explored 1246224 8721
build-model-states-explored 1254993 8769
build-model-states-explored 1263723 8730
build-model-states-explored 1272473 8750
build-model-states-explored 1281208 8735
build-model-states-explored 1289974 8766
build-model-states-explored 1298756 8782
build-model-states-explored 1307557 8801
build-model-states-explored 1316308 8751
build-model-states-explored 1325072 8764
build-model-states-explored 1333870 8798
build-model-states-explored 1342665 8795
build-model-states-explored 1351446 8781
build-model-states-explored 1360230 8784
build-model-states-explored 1369027 8797
build-model-states-explored 1377810 8783
build-model-states-explored 1386584 8774
build-model-states-explored 1395356 8772
build-model-states-explored 1404149 8793
build-model-states-explored 1412941 8792
build-model-states-explored 1421702 8761
build-model-states-explored 1430472 8770
build-model-states-explored 1439222 8750
build-model-states-explored 1447991 8769
build-model-states-explored 1456782 8791
build-model-states-explored 1465563 8781
build-model-states-explored 1474337 8774
build-model-states-explored 1483076 8739
build-model-states-explored 1491844 8768
build-model-states-explored 1500615 8771
build-model-states-explored 1509397 8782
build-model-states-explored 1518112 8715
build-model-states-explored 1526822 8710
build-model-states-explored 1535527 8705
build-model-states-explored 1544232 8705
build-model-states-explored 1552942 8710
build-model-states-explored 1560942 8000
build-model-states-explored 1568949 8007
build-model-states-explored 1576680 7731
build-model-states-explored 1585081 8401
build-model-states-explored 1593503 8422
build-model-states-explored 1602135 8632
build-model-states-explored 1608950 6815
build-model-states-explored 1613320 4370
build-model-states-explored 1620474 7154
build-model-states-explored 1627041 6567
build-model-states-explored 1633511 6470
build-model-states-explored 1639421 5910
build-model-states-explored 1645969 6548
build-model-states-explored 1652526 6557
build-model-states-explored 1656982 4456
build-model-states-explored 1661259 4277
build-model-states-explored 1668063 6804
build-model-states-explored 1674869 6806
build-model-states-explored 1681722 6853
build-model-states-explored 1688559 6837
build-model-states-explored 1695373 6813
build-model-states-explored 1702235 6863
build-model-states-explored 1709060 6825
build-model-states-explored 1715510 6450
build-model-states-explored 1720548 5038
build-model-states-explored 1728673 8125
build-model-states-explored 1736715 8042
build-model-states-explored 1744822 8107
build-model-states-explored 1752934 8112
build-model-states-explored 1761001 8067
build-model-states-explored 1769089 8087
build-model-states-explored 1777141 8053
build-model-states-explored 1785058 7917
build-model-states-explored 1793062 8004
build-model-states-explored 1801173 8111
build-model-states-explored 1809246 8073
build-model-states-explored 1817330 8084
build-model-states-explored 1825409 8079
build-model-states-explored 1833522 8113
build-model-states-explored 1841615 8093
build-model-states-explored 1849716 8101
build-model-states-explored 1857798 8082
build-model-states-explored 1865892 8094
build-model-states-explored 1874022 8130
build-model-states-explored 1882086 8064
build-model-states-explored 1890179 8093
build-model-states-explored 1898219 8040
build-model-states-explored 1906284 8065
build-model-states-explored 1914351 8067
build-model-states-explored 1922438 8087
build-model-states-explored 1930509 8071
build-model-states-explored 1938589 8080
build-model-states-explored 1946670 8081
build-model-states-explored 1954764 8094
build-model-states-explored 1962832 8068
build-model-states-explored 1970910 8078
build-model-states-explored 1978993 8083
build-model-states-explored 1987091 8098
build-model-states-explored 1995138 8047
build-model-states-explored 2003190 8052
build-model-states-explored 2009709 6519
build-model-states-explored 2017733 8024
build-model-states-explored 2025798 8065
build-model-states-explored 2033839 8041
build-model-states-explored 2041903 8064
build-model-states-explored 2049942 8039
build-model-states-explored 2057995 8053
build-model-states-explored 2066053 8058
build-model-states-explored 2074088 8035
build-model-states-explored 2082149 8060
build-model-states-explored 2090180 8032
build-model-states-explored 2098168 7988
build-model-states-explored 2106224 8056
build-model-states-explored 2114365 8141
build-model-states-explored 2122996 8631
build-model-states-explored 2131631 8635
build-model-states-explored 2140223 8592
build-model-states-explored 2148796 8573
build-model-states-explored 2157440 8644
build-model-states-explored 2166069 8629
build-model-states-explored 2174699 8630
build-model-states-explored 2183329 8630
build-model-states-explored 2191973 8644
build-model-states-explored 2200605 8632
build-model-states-explored 2209239 8634
build-model-states-explored 2217872 8633
build-model-states-explored 2226491 8619
build-model-states-explored 2235117 8626
build-model-states-explored 2243753 8636
build-model-states-explored 2252382 8629
build-model-states-explored 2261003 8621
build-model-states-explored 2269628 8625
build-model-states-explored 2278260 8632
build-model-states-explored 2286910 8650
build-model-states-explored 2295555 8645
build-model-states-explored 2304184 8629
build-model-states-explored 2312813 8629
build-model-states-explored 2321462 8649
build-model-states-explored 2330103 8641
build-model-states-explored 2338737 8634
build-model-states-explored 2347374 8637
build-model-states-explored 2356004 8630
build-model-states-explored 2364577 8573
build-model-states-explored 2373214 8637
build-model-states-explored 2381864 8650
build-model-states-explored 2390504 8640
build-model-states-explored 2399090 8586
build-model-states-explored 2407698 8608
build-model-states-explored 2416352 8654
build-model-states-explored 2424986 8634
build-model-states-explored 2433630 8644
build-model-states-explored 2442271 8641
build-model-states-explored 2450904 8633
build-model-states-explored 2459549 8645
build-model-states-explored 2468200 8651
build-model-states-explored 2476834 8634
build-model-states-explored 2485478 8644
build-model-states-explored 2494129 8651
build-model-states-explored 2502783 8654
build-model-states-explored 2511402 8619
build-model-states-explored 2519913 8511
build-model-states-explored 2528562 8649
build-model-states-explored 2537154 8592
build-model-states-explored 2545789 8635
build-model-states-explored 2554426 8637
build-model-states-explored 2561896 7470
build-model-states-explored 2568946 7050
build-model-states-explored 2575983 7037
build-model-states-explored 2583010 7027
build-model-states-explored 2590006 6996
build-model-states-explored 2597023 7017
build-model-states-explored 2604041 7018
build-model-states-explored 2612474 8433
build-model-states-explored 2621498 9024
build-model-states-explored 2630514 9016
build-model-states-explored 2639540 9026
build-model-states-explored 2648344 8804
build-model-states-explored 2657189 8845
build-model-states-explored 2666007 8818
build-model-states-explored 2674850 8843
build-model-states-explored 2683694 8844
build-model-states-explored 2692525 8831
build-model-states-explored 2701370 8845
build-model-states-explored 2710204 8834
build-model-states-explored 2719035 8831
build-model-states-explored 2727876 8841
build-model-states-explored 2736698 8822
build-model-states-explored 2745539 8841
build-model-states-explored 2754384 8845
build-model-states-explored 2763212 8828
build-model-states-explored 2772060 8848
build-model-states-explored 2779198 7138
build-model-states-explored 2787915 8717
build-model-states-explored 2796746 8831
build-model-states-explored 2805574 8828
build-model-states-explored 2814387 8813
build-model-states-explored 2823230 8843
build-model-states-explored 2832051 8821
build-model-states-explored 2840872 8821
build-model-states-explored 2849712 8840
build-model-states-explored 2858524 8812
build-model-states-explored 2867357 8833
build-model-states-explored 2876183 8826
build-model-states-explored 2885001 8818
build-model-states-explored 2893842 8841
build-model-states-explored 2902663 8821
build-model-states-explored 2911413 8750
build-model-states-explored 2920129 8716
build-model-states-explored 2928941 8812
build-model-states-explored 2937766 8825
build-model-states-explored 2946563 8797
build-model-states-explored 2955381 8818
build-model-states-explored 2964192 8811
build-model-states-explored 2973000 8808
build-model-states-explored 2981828 8828
build-model-states-explored 2990629 8801
build-model-states-explored 2999452 8823
build-model-states-explored 3008270 8818
build-model-states-explored 3017074 8804
build-model-states-explored 3025901 8827
build-model-states-explored 3034706 8805
build-model-states-explored 3043525 8819
build-model-states-explored 3052342 8817
build-model-states-explored 3061145 8803
build-model-states-explored 3069976 8831
build-model-states-explored 3078784 8808
build-model-states-explored 3087552 8768
build-model-states-explored 3096385 8833
build-model-states-explored 3105199 8814
build-model-states-explored 3114044 8845
build-model-states-explored 3122864 8820
build-model-states-explored 3131689 8825
build-model-states-explored 3140532 8843
build-model-states-explored 3149335 8803
build-model-states-explored 3158153 8818
build-model-states-explored 3166999 8846
build-model-states-explored 3175802 8803
build-model-states-explored 3184611 8809
build-model-states-explored 3193457 8846
build-model-states-explored 3202283 8826
build-model-states-explored 3211085 8802
build-model-states-explored 3219923 8838
build-model-states-explored 3228750 8827
build-model-states-explored 3237547 8797
build-model-states-explored 3246366 8819
build-model-states-explored 3255204 8838
build-model-states-explored 3263997 8793
build-model-states-explored 3272776 8779
build-model-states-explored 3281734 8958
build-model-states-explored 3290659 8925
build-model-states-explored 3299611 8952
build-model-states-explored 3305265 5654
build-model-states-explored 3305265 0
build-model-states-explored 3313844 8579
build-model-states-explored 3322825 8981
build-model-states-explored 3331742 8917
build-model-states-explored 3340700 8958
build-model-states-explored 3349666 8966
build-model-states-explored 3358595 8929
build-model-states-explored 3367544 8949
build-model-states-explored 3376479 8935
build-model-states-explored 3385413 8934
build-model-states-explored 3394382 8969
build-model-states-explored 3403298 8916
build-model-states-explored 3412257 8959
build-model-states-explored 3421211 8954
build-model-states-explored 3430079 8868
build-model-states-explored 3439051 8972
build-model-states-explored 3448004 8953
build-model-states-explored 3456940 8936
build-model-states-explored 3465906 8966
build-model-states-explored 3474834 8928
build-model-states-explored 3483778 8944
build-model-states-explored 3492765 8987
build-model-states-explored 3501702 8937
build-model-states-explored 3510630 8928
build-model-states-explored 3519575 8945
build-model-states-explored 3528498 8923
build-model-states-explored 3537449 8951
build-model-states-explored 3546404 8955
build-model-states-explored 3555325 8921
build-model-states-explored 3564297 8972
build-model-states-explored 3573230 8933
build-model-states-explored 3582163 8933
build-model-states-explored 3591105 8942
build-model-states-explored 3600026 8921
build-model-states-explored 3608973 8947
build-model-states-explored 3617915 8942
build-model-states-explored 3626835 8920
build-model-states-explored 3635776 8941
build-model-states-explored 3644731 8955
build-model-states-explored 3653657 8926
build-model-states-explored 3662618 8961
build-model-states-explored 3671544 8926
build-model-states-explored 3680491 8947
build-model-states-explored 3689442 8951
build-model-states-explored 3698282 8840
build-model-states-explored 3707065 8783
build-model-states-explored 3716029 8964
build-model-states-explored 3724936 8907
build-model-states-explored 3733872 8936
build-model-states-explored 3742822 8950
build-model-states-explored 3751760 8938
build-model-states-explored 3760707 8947
build-model-states-explored 3769656 8949
build-model-states-explored 3778569 8913
build-model-states-explored 3787523 8954
build-model-states-explored 3796465 8942
build-model-states-explored 3805386 8921
build-model-states-explored 3814347 8961
build-model-states-explored 3823277 8930
build-model-states-explored 3832208 8931
build-model-states-explored 3840923 8715
build-model-states-explored 3849843 8920
build-model-states-explored 3858783 8940
build-model-states-explored 3867739 8956
build-model-states-explored 3876657 8918
build-model-states-explored 3885593 8936
build-model-states-explored 3894526 8933
build-model-states-explored 3903459 8933
build-model-states-explored 3912408 8949
build-model-states-explored 3921312 8904
build-model-states-explored 3930125 8813
build-model-states-explored 3939077 8952
build-model-states-explored 3948019 8942
build-model-states-explored 3956941 8922
build-model-states-explored 3965868 8927
build-model-states-explored 3974787 8919
build-model-states-explored 3983718 8931
build-model-states-explored 3992662 8944
build-model-states-explored 4001582 8920
build-model-states-explored 4010555 8973
build-model-states-explored 4019485 8930
build-model-states-explored 4028417 8932
build-model-states-explored 4037347 8930
build-model-states-explored 4046275 8928
build-model-states-explored 4055206 8931
build-model-states-explored 4064167 8961
build-model-states-explored 4073098 8931
build-model-states-explored 4082042 8944
build-model-states-explored 4091003 8961
build-model-states-explored 4099923 8920
build-model-states-explored 4108867 8944
build-model-states-explored 4117802 8935
build-model-states-explored 4126711 8909
build-model-states-explored 4135672 8961
build-model-states-explored 4144604 8932
build-model-states-explored 4153551 8947
build-model-states-explored 4162522 8971
build-model-states-explored 4171454 8932
build-model-states-explored 4180392 8938
build-model-states-explored 4189336 8944
build-model-states-explored 4198165 8829
build-model-states-explored 4207159 8994
build-model-states-explored 4216149 8990
build-model-states-explored 4225148 8999
build-model-states-explored 4234065 8917
build-model-states-explored 4243059 8994
build-model-states-explored 4252033 8974
build-model-states-explored 4261011 8978
build-model-states-explored 4269985 8974
build-model-states-explored 4278973 8988
build-model-states-explored 4287955 8982
build-model-states-explored 4296943 8988
build-model-states-explored 4305927 8984
build-model-states-explored 4314905 8978
build-model-states-explored 4323893 8988
build-model-states-explored 4332875 8982
build-model-states-explored 4341853 8978
build-model-states-explored 4350841 8988
build-model-states-explored 4359832 8991
build-model-states-explored 4368802 8970
build-model-states-explored 4377805 9003
build-model-states-explored 4386795 8990
build-model-states-explored 4395777 8982
build-model-states-explored 4404768 8991
build-model-states-explored 4413760 8992
build-model-states-explored 4422753 8993
build-model-states-explored 4431737 8984
build-model-states-explored 4440725 8988
build-model-states-explored 4449702 8977
build-model-states-explored 4458676 8974
build-model-states-explored 4467642 8966
build-model-states-explored 4476634 8992
build-model-states-explored 4485610 8976
build-model-states-explored 4494590 8980
build-model-states-explored 4503505 8915
build-model-states-explored 4512493 8988
build-model-states-explored 4521463 8970
build-model-states-explored 4530444 8981
build-model-states-explored 4539437 8993
build-model-states-explored 4548414 8977
build-model-states-explored 4557389 8975
build-model-states-explored 4566344 8955
build-model-states-explored 4575341 8997
build-model-states-explored 4584307 8966
build-model-states-explored 4593290 8983
build-model-states-explored 4602281 8991
build-model-states-explored 4611263 8982
build-model-states-explored 4620255 8992
build-model-states-explored 4629230 8975
build-model-states-explored 4638217 8987
build-model-states-explored 4647186 8969
build-model-states-explored 4656170 8984
build-model-states-explored 4665144 8974
build-model-states-explored 4674118 8974
build-model-states-explored 4683088 8970
build-model-states-explored 4692073 8985
build-model-states-explored 4701054 8981
build-model-states-explored 4710023 8969
build-model-states-explored 4718986 8963
build-model-states-explored 4727966 8980
build-model-states-explored 4736934 8968
build-model-states-explored 4745913 8979
build-model-states-explored 4754900 8987
build-model-states-explored 4763878 8978
build-model-states-explored 4772831 8953
build-model-states-explored 4781757 8926
build-model-states-explored 4790711 8954
build-model-states-explored 4799689 8978
build-model-states-explored 4808611 8922
build-model-states-explored 4817482 8871
build-model-states-explored 4826342 8860
build-model-states-explored 4835211 8869
build-model-states-explored 4844077 8866
build-model-states-explored 4852934 8857
build-model-states-explored 4861801 8867
build-model-states-explored 4870669 8868
build-model-states-explored 4879535 8866
build-model-states-explored 4888399 8864
build-model-states-explored 4897185 8786
build-model-states-explored 4906140 8955
build-model-states-explored 4915001 8861
build-model-states-explored 4923958 8957
build-model-states-explored 4932915 8957
build-model-states-explored 4941887 8972
build-model-states-explored 4950853 8966
build-model-states-explored 4959834 8981
build-model-states-explored 4968760 8926
build-model-states-explored 4976072 7312
build-model-states-explored 4983444 7372
build-model-states-explored 4992007 8563
build-model-states-explored 5000719 8712
build-model-done 5007548 585


----------
Computation aborted after 1800.2919778823853 seconds since the total time limit of 1800 seconds was exceeded.
Model:	wlan v.1 (MDP)
Parameter(s)	MAX_BACKOFF = 6, COL = 0
Property:	cost_min (exp-reward)